$\forall$$a$:$\mathbb{Z}$. $a$ $\mid$ 1 $\Leftrightarrow$ ($a$ $\sim$ 1)